Quantum logic

Results: 232



#Item
11A New Approach to Quantum Logic K.Engesser  D.M. Gabbay dov.gabbay @kcl.ac.uk D. Lehmann   2

A New Approach to Quantum Logic K.Engesser D.M. Gabbay dov.gabbay @kcl.ac.uk D. Lehmann 2

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2006-10-09 09:59:03
12Composing ComposingContracts: contracts: An Adventure in Financial Engineering

Composing ComposingContracts: contracts: An Adventure in Financial Engineering

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2001-11-22 11:58:10
13ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-06-09 08:18:16
14arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2009-06-05 20:47:48
15Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK

Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK

Add to Reading List

Source URL: fct2013.csc.liv.ac.uk

Language: English - Date: 2013-06-20 05:30:29
16MBS Technical ReportOn Replacing “Quantum Thinking” with Counterfactual Reasoning1 Louis Narens Department of Cognitive Sciences

MBS Technical ReportOn Replacing “Quantum Thinking” with Counterfactual Reasoning1 Louis Narens Department of Cognitive Sciences

Add to Reading List

Source URL: www.imbs.uci.edu

Language: English - Date: 2015-06-17 18:14:51
17ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-02-16 07:08:02
18Dualities in logic and geometry  The Weyl-Heisenberg algebra Calculations

Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2014-08-13 10:47:43
19Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford

Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2016-06-01 20:00:33
20Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1  arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2015-01-05 21:00:17